公共交通实时控制模型研究

研究了实时控制模型 ,即对照中途站行车时刻表与车辆实际到达本站的时间 ,对车辆实施控制 ,保证线路的行车间隔和各车辆的载客量均匀正常 .论文重点讨论了实时调度的控制模型 ,然后给出了实例进行说明.     

有限资源能力下的供需问题研究

将 JIT思想引入供需链管理中 ,建立了具有供应能力、运输能力约束的极小化产品成本费用总额的供需问题计划模型 ,并利用易于求解的线性规划模型 ,提出了一个有效的启发式算法 .该算法可以在多种资源能力平衡的前提下 ,找到较优的供应计划.     

关于捕食者-食饵系统正周期解存在性的一个反例

举出一个具有时滞和功能反应的两种群捕食者-食饵扩散系统的反例,并证明该系统不存在正的ω-周期解.这个反例说明了,2003年LI Bin-wen在《Ann.of Diff.Eqs.》上得出的结论是错误的.     

自动定理证明中的一个通用证明法

在自动定理证明中，我们发现一个卓有成效的证明方法——多余文字参数法．利用这一方法可以简单便捷地证明许多难以证明的各种推理策略中的完备性问题．本文列举了如何应用这一方法来证明自动定理证明中归结原理的完备性、语义归结的完备性、线性归结的完备性以及输入归结和单位归结的等价性问题．事实表明这些原本都是十分棘手的证明问题，由于使用了这一方法而变为十分简单而自然的工作，而且这些不同的完备性问题其证明步骤和过程也几乎是一样的     

汉江安康站最大径流量的动态预测模型研究

用平稳时间序列的ARMA( p ,q)模型分析法 ,分析了汉江安康站 1 943年到1 995年共 5 3年最大径流量的水文资料 ,建立了陕南汉江安康站最大径流量的中短期动态预测数学模型 .经对 1 996年和 1 997年的最大径流量进行预测 ,结果与实际相吻合     

在单片机上实现多事件并行管理的一种方法

提出一种对单片机构成的较复杂系统实现多事件并行管理的基本思想和具体应用的方法．其目的是避免因程序中设有过多的状态查询而造成CPU效率降低，提高系统对事件的实时响应．     

石油测井时域电磁响应的数值计算

本文在圆柱坐标系中,用传输线矩阵法对电磁测井问题进行了时域计算.计算中采用横向三层油井模型,即井筒层、渗透层和真地层,并考虑上下围岩的影响.井筒层参数为σ=0.5、ε_r=80;渗透层σ=0.1、ε_r=20;真地层σ=0.025、ε_r=5,上下围岩σ=0.2、ε_y=30,收发点相距0.3m,计算电场 z 分量的时域响应.并讨论了当收发天线间的距离增大,去除围岩效应和真地层的电参数发生变化时的波形变化情况,证明了电磁测井仪器的可行性.     

彩色电视发射机特殊故障的分析及维修

本文根据彩色电视同原理及实际工作情况，对发射机出现的特殊故障进行了分析，并从根本上解决了故障，从而达到降低停播率的目的。     

一种DC-DC变换器的离散数学模型

当DC-DC变换器工作于大信号运行条件或系统中出现较大振荡时,变换器将呈现电感电流连续和不连续两种运行模式,为了更确切地描述系统特性,建立了基于两种运行模式的DC.DC变换器离散数学模型.分别给出了基本的Boost和Buck变换器每个开关周期中功率开关关断后电感电流持续时间的计算方法,并根据电流持续时间与开关断开时间的关系预测下个工作周期变换器的运行模式,确定模型的系数矩阵.根据与Simulink系统模块运行结果的比较,验证了离散数学模型的正确性.     

初论改革检录工作

检录工作是田径运动会临场裁判工作的开始,与其它各裁判组有着密切的联系,与运动员、教练员接触面最广,对运动会的顺利进行有着重要影响。本文对检录工作的改革进行初步论述,提出了4点改革措施。